Interestingness of traces in declarative process mining: The janus LTLPf Approach

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLp f). To mine them out of event logs, we devise a time bi-directional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints

Longitudinal study of adolescent tobacco use and tobacco control policies in India

Abstract Background This project will use a multilevel longitudinal cohort study design to assess whether changes in Community Tobacco Environmental (CTE) factors, measured as community compliance with tobacco control policies and community density of tobacco vendors and tobacco advertisements, are associated with adolescent tobacco use in urban India. India’s tobacco control policies regulate secondhand smoke exposure, access to tobacco products and exposure to tobacco marketing. Research data about the association between community level compliance with tobacco control policies and youth tobacco use are largely unavailable, and are needed to inform policy enforcement, implementation and development. Methods The geographic scope will include Mumbai and Kolkata, India. The study protocol calls for an annual comprehensive longitudinal population-based tobacco use risk and protective factors survey in a cohort of 1820 adolescents ages 12–14 years (and their parent) from baseline (Wave 1) to 36-month follow-up (Wave 4). Geographic Information Systems data collection will be used to map tobacco vendors, tobacco advertisements, availability of e-cigarettes, COTPA defined public places, and compliance with tobacco sale, point-of-sale and smoke-free laws. Finally, we will estimate the longitudinal associations between CTE factors and adolescent tobacco use, and assess whether the associations are moderated by family level factors, and mediated by individual level factors. Discussion India experiences a high burden of disease and mortality from tobacco use. To address this burden, significant long-term prevention and control activities need to include the joint impact of policy, community and family factors on adolescent tobacco use onset. The findings from this study can be used to guide the development and implementation of future tobacco control policy designed to minimize adolescent tobacco use.https://deepblue.lib.umich.edu/bitstream/2027.42/144539/1/12889_2018_Article_5727.pd

Factors affecting exhaled nitric oxide measurements: the effect of sex

<p>Abstract</p> <p>Background</p> <p>Exhaled nitric oxide (F_ENO) measurements are used as a surrogate marker for eosinophilic airway inflammation. However, many constitutional and environmental factors affect F_ENO, making it difficult to devise reference values. Our aim was to evaluate the relative importance of factors affecting F_ENO in a well characterised adult population.</p> <p>Methods</p> <p>Data were obtained from 895 members of the Dunedin Multidisciplinary Health and Development Study at age 32. The effects of sex, height, weight, lung function indices, smoking, atopy, asthma and rhinitis on F_ENO were explored by unadjusted and adjusted linear regression analyses.</p> <p>Results</p> <p>The effect of sex on F_ENO was both statistically and clinically significant, with F_ENO levels approximately 25% less in females. Overall, current smoking reduced F_ENO up to 50%, but this effect occurred predominantly in those who smoked on the day of the F_ENO measurement. Atopy increased F_ENO by 60%. The sex-related differences in F_ENO remained significant (p < 0.001) after controlling for all other significant factors affecting F_ENO.</p> <p>Conclusion</p> <p>Even after adjustment, F_ENO values are significantly different in males and females. The derivation of reference values and the interpretation of F_ENO in the clinical setting should be stratified by sex. Other common factors such as current smoking and atopy also require to be taken into account.</p

Prospective Randomized Controlled Trial to Analyze the Effects of Intermittent Pneumatic Compression on Edema Following Autologous Femoropopliteal Bypass Surgery

Background: Patients who undergo autologous femoropopliteal bypass surgery develop postoperative edema in the revascularized leg. The effects of intermittent pneumatic compression (IPC) to treat and to prevent postreconstructive edema were examined in this study. Methods: In a prospective randomized trial, patients were assigned to one of two groups. All patients suffered from peripheral arterial disease, and all were subjected to autologous femoropopliteal bypass reconstruction. Patients in group 1 used a compression stocking (CS) above the knee exerting 18 mmHg (class I) on the leg postoperatively for 1 week (day and night). Patients in group 2 used IPC on the foot postoperatively at night for 1 week. The lower leg circumference was measured preoperatively and at five postoperative time points. A multivariate analysis was done using a mixed model analysis of variance. Results: A total of 57 patients were analyzed (CS 28; IPC 29). Indications for operation were severe claudication (CS 13; IPC 13), rest pain (10/5), or tissue loss (7/11). Revascularization was performed with either a supragenicular (CS 13; IPC10) or an infragenicular (CS 15; IPC 19) autologous bypass. Leg circumference increased on day 1 (CS/IPC): 0.4%/2.7%, day 4 (2.1%/6.1%), day 7 (2.5%/7.9%), day 14 (4.7%/7.3%), and day 90 (1.0%/3.3%) from baseline (preoperative situation). On days 1, 4, and 7 there was a significant difference in leg circumference between the two treatment groups. Conclusions: Edema following femoropopliteal bypass surgery occurs in all patients. For the prevention and treatment of that edema the use of a class I CS proved superior to treatment with IPC. The use of CS remains the recommended practice following femoropopliteal bypass surgery

Fish Oil Supplementation During Late Pregnancy Does Not Influence Plasma Lipids or Lipoprotein Levels in Young Adult Offspring

Nutritional influences on cardiovascular disease operate throughout life. Studies in both experimental animals and humans have suggested that changes in the peri- and early post-natal nutrition can affect the development of the various components of the metabolic syndrome in adult life. This has lead to the hypothesis that n-3 fatty acid supplementation in pregnancy may have a beneficial effect on lipid profile in the offspring. The aim of the present study was to investigate the effect of supplementation with n-3 fatty acids during the third trimester of pregnancy on lipids and lipoproteins in the 19-year-old offspring. The study was based on the follow-up of a randomized controlled trial from 1990 where 533 pregnant women were randomized to fish oil (n = 266), olive oil (n = 136) or no oil (n = 131). In 2009, the offspring were invited to a physical examination including blood sampling. A total of 243 of the offspring participated. Lipid values did not differ between the fish oil and olive oil groups. The relative adjusted difference (95% confidence intervals) in lipid concentrations was −3% (−11; 7) for LDL cholesterol, 3% (−3; 10) for HDL cholesterol, −1% (−6; 5) for total cholesterol,−4% (−16; 10) for TAG concentrations, 2%(−2; 7) for apolipoprotein A1, −1% (−9; 7) for apolipoprotein B and 3% (−7; 15) in relative abundance of small dense LDL. In conclusion, there was no effect of fish oil supplementation during the third trimester of pregnancy on offspring plasma lipids and lipoproteins in adolescence

Properties of Graphene: A Theoretical Perspective

In this review, we provide an in-depth description of the physics of monolayer and bilayer graphene from a theorist's perspective. We discuss the physical properties of graphene in an external magnetic field, reflecting the chiral nature of the quasiparticles near the Dirac point with a Landau level at zero energy. We address the unique integer quantum Hall effects, the role of electron correlations, and the recent observation of the fractional quantum Hall effect in the monolayer graphene. The quantum Hall effect in bilayer graphene is fundamentally different from that of a monolayer, reflecting the unique band structure of this system. The theory of transport in the absence of an external magnetic field is discussed in detail, along with the role of disorder studied in various theoretical models. We highlight the differences and similarities between monolayer and bilayer graphene, and focus on thermodynamic properties such as the compressibility, the plasmon spectra, the weak localization correction, quantum Hall effect, and optical properties. Confinement of electrons in graphene is nontrivial due to Klein tunneling. We review various theoretical and experimental studies of quantum confined structures made from graphene. The band structure of graphene nanoribbons and the role of the sublattice symmetry, edge geometry and the size of the nanoribbon on the electronic and magnetic properties are very active areas of research, and a detailed review of these topics is presented. Also, the effects of substrate interactions, adsorbed atoms, lattice defects and doping on the band structure of finite-sized graphene systems are discussed. We also include a brief description of graphane -- gapped material obtained from graphene by attaching hydrogen atoms to each carbon atom in the lattice.Comment: 189 pages. submitted in Advances in Physic

IgE sensitisation in relation to flow-independent nitric oxide exchange parameters

BACKGROUND: A positive association between IgE sensitisation and exhaled NO levels has been found in several studies, but there are no reports on the compartment of the lung that is responsible for the increase in exhaled NO levels seen in IgE-sensitised subjects. METHODS: The present study comprised 288 adult subjects from the European Community Respiratory Health Survey II who were investigated in terms of lung function, IgE sensitisation (sum of specific IgE), smoking history and presence of rhinitis and asthma. Mean airway tissue concentration of NO (Caw(NO)), airway transfer factor for NO (Daw(NO)), mean alveolar concentration of NO (Calv(NO)) and fractional exhaled concentration of NO at a flow rate of 50 mL s(-1 )(FE(NO 0.05)) were determined using the extended NO analysis. RESULTS: IgE-sensitised subjects had higher levels (geometric mean) of FE(NO 0.05 )(24.9 vs. 17.3 ppb) (p < 0.001), Daw(NO )(10.5 vs. 8 mL s(-1)) (p = 0.02) and Caw(NO )(124 vs. 107 ppb) (p < 0.001) and positive correlations were found between the sum of specific IgE and FE(NO 0.05), Caw(NO )and Daw(NO )levels (p < 0.001 for all correlations). Sensitisation to cat allergen was the major determinant of exhaled NO when adjusting for type of sensitisation. Rhinitis and asthma were not associated with the increase in exhaled NO variables after adjusting for the degree of IgE sensitisation. CONCLUSION: The presence of IgE sensitisation and the degree of allergic sensitisation were related to the increase in airway NO transfer factor and the increase in NO concentration in the airway wall. Sensitisation to cat allergen was related to the highest increases in exhaled NO parameters. Our data suggest that exhaled NO is more a specific marker of allergic inflammation than a marker of asthma or rhinitis

Timing and minimal access surgery for sciatica: a summary of two randomized trials

Scientific Assessment and Innovation in Neurosurgical Treatment Strategie

Activation of P2X7-mediated apoptosis Inhibits DMBA/TPA-induced formation of skin papillomas and cancer in mice

<p>Abstract</p> <p>Background</p> <p>The study tested the hypothesis that apoptosis can prevent and control growth of neoplastic cells. Previous studies in-vitro have shown that the pro-apoptotic P2X₇receptor regulates growth of epithelial cells. The specific objective of the present study was to understand to what degree the P2X₇system controls development and growth of skin cancer in vivo, and what cellular and molecular mechanisms are involved in the P2X₇action.</p> <p>Methods</p> <p>Skin neoplasias in mice (papillomas, followed by squamous spindle-cell carcinomas) were induced by local application of DMBA/TPA. Experiments in-vitro utilized cultured epidermal keratinocytes generated from wild-type or from P2X₇-null mice. Assays involved protein immunostaining and Western blots; mRNA real-time qPCR; and apoptosis (evaluated in situ by TUNEL and quantified in cultured keratinocytes as solubilized DNA or by ELISA). Changes in cytosolic calcium or in ethidium bromide influx (P2X₇pore formation) were determined by confocal laser microscopy.</p> <p>Results</p> <p>(a) Co-application on the skin of the P2X₇specific agonist BzATP inhibited formation of DMBA/TPA-induced skin papillomas and carcinomas. At the completion of study (week 28) the proportion of living animals with cancers in the DMBA/TPA group was 100% compared to 43% in the DMBA/TPA+BzATP group. (b) In the normal skin BzATP affected mainly P2X₇-receptor – expressing proliferating keratinocytes, where it augmented apoptosis without evoking inflammatory changes. (c) In BzATP-treated mice the degree of apoptosis was lesser in cancer than in normal or papilloma keratinocytes. (d) Levels of P2X₇receptor, protein and mRNA were 4–5 fold lower in cancer tissues than in normal mouse tissues. (e) In cultured mouse keratinocytes BzATP induced apoptosis, formation of pores in the plasma membrane, and facilitated prolonged calcium influx. (f) The BzATP-induced apoptosis, pore-formation and augmented calcium influx had similar dose-dependence for BzATP. (g) Pore formation and the augmented calcium influx were depended on the expression of the P2X₇receptor, while the BzATP-induced apoptosis depended on calcium influx. (h) The BzATP-induced apoptosis could be blocked by co-treatment with inhibitors of caspase-9 and caspase-3, but not of caspase-8.</p> <p>Conclusion</p> <p>(a) P2X₇-dependent apoptosis is an important mechanism that controls the development and progression of epidermal neoplasia in the mouse. (b) The P2X₇-dependent apoptosis is mediated by calcium influx via P2X₇pores, and involves the caspase-9 (mitochondrial) pathway. (c) The diminished pro-apoptotic effect of BzATP in mouse cancer keratinocytes is possibly the result of low expression of the P2X₇receptor. (d) Activation of P2X₇-dependent apoptosis, e.g. with BzATP could be a novel chemotherapeutic growth-preventive modality for papillomas and epithelial cancers in vivo.</p